<?php
$char_utf = array('￥', '×', '·');
$char_replace = array('&#xFFE5;', '&times;', '&middot;');
?>